Two Requirements for the Representation
نویسنده
چکیده
Proofs Erica Melis 1 Abstract. This paper emphasizes two requirements for the representation of proofs; rstly the explicit representation and storing of control knowledge and secondly the hierarchically structured representation of proofs.
منابع مشابه
A New Model Representation for Road Mapping in Emerging Sciences: A Case Study on Roadmap of Quantum Computing
One of the solutions for organizations to succeed in highly competitive markets is to move toward emerging sciences. These areas provide many opportunities, but, if organizations do not meet requirements of emerging sciences, they may fail and eventually, may enter a crisis. In this matter, one of the important requirements is to develop suitable roadmaps in variety fields such as strategic, ca...
متن کاملFuzzy Centroid-Based Method Applied to Customer Requirements Ranking in Diba Fiberglass Company
The purpose of this study is to introduce an application of fuzzy centroid-based approach to ranking the customer requirements using QFD with competition considerations for Diba Fiberglass, an Iranian Company. The illustrated approach, not only focuses on the normal fuzzy numbers, but also considers the non-normal fuzzy numbers to capture the true customer requirements. To this end, first, we p...
متن کاملNeuron Mathematical Model Representation of Neural Tensor Network for RDF Knowledge Base Completion
In this paper, a state-of-the-art neuron mathematical model of neural tensor network (NTN) is proposed to RDF knowledge base completion problem. One of the difficulties with the parameter of the network is that representation of its neuron mathematical model is not possible. For this reason, a new representation of this network is suggested that solves this difficulty. In the representation, th...
متن کاملThe Representation of Social Actors in the Graduate Employability Issue: Online News and the Government Document
This paper presents the first part of a larger study on the issue of graduate employability in Malaysia as construed in public discourse in English, a language of power in Malaysia. The term employability itself has many definitions depending on the requirements of government and industry, and in the case of Malaysia, the English-language ability of graduates is inseparable from graduate employ...
متن کاملRepresentation of Mother for Guardianship of the Child in Iranian and French Laws
The French law, contrary to the Iranian law, has given the mother a kind of representation for guardianship and training of the child. This is a development that was established in France in 1970, and in Article 6 of the Iranian Family Protection Act of 2012, the granting of representation to the mother over the legal procedure for demand of the child or the incompetent has been entrusted...
متن کاملA Joint Semantic Vector Representation Model for Text Clustering and Classification
Text clustering and classification are two main tasks of text mining. Feature selection plays the key role in the quality of the clustering and classification results. Although word-based features such as term frequency-inverse document frequency (TF-IDF) vectors have been widely used in different applications, their shortcoming in capturing semantic concepts of text motivated researches to use...
متن کامل